- Formule indécidable
-
● Formule indécidable dans une théorie mathématique, formule qui ne peut être ni démontrée ni réfutée.
Encyclopédie Universelle. 2012.
Formule indécidable
Regardez d'autres dictionnaires:
indécidable — [ ɛ̃desidabl ] adj. • 1957; de 1. in et décidable, p. ê. d apr. l angl. undecidable ♦ Log. Qui n est pas décidable. Proposition indécidable. N. f. INDÉCIDABILITÉ . ● indécidable adjectif Se dit d une relation qui n est ni vraie ni fausse. ●… … Encyclopédie Universelle
Formule De Sahlqvist — En logique modale, les formules de Sahlqvist (du nom du mathématicien norvégien Henrik Sahlqvist) constituent une classe de formules modales assortie de propriétés remarquables. Le théorème de correspondance de Sahlqvist affirme que toute formule … Wikipédia en Français
Formule de sahlqvist — En logique modale, les formules de Sahlqvist (du nom du mathématicien norvégien Henrik Sahlqvist) constituent une classe de formules modales assortie de propriétés remarquables. Le théorème de correspondance de Sahlqvist affirme que toute formule … Wikipédia en Français
Formule de Sahlqvist — En logique modale, les formules de Sahlqvist (du nom du mathématicien norvégien Henrik Sahlqvist) constituent une classe de formules modales assortie de propriétés remarquables. Le théorème de correspondance de Sahlqvist affirme que toute formule … Wikipédia en Français
indécidabilité — indécidable [ ɛ̃desidabl ] adj. • 1957; de 1. in et décidable, p. ê. d apr. l angl. undecidable ♦ Log. Qui n est pas décidable. Proposition indécidable. N. f. INDÉCIDABILITÉ . ● indécidabilité nom féminin Propriété d une formule indécidable.… … Encyclopédie Universelle
Indéterminabilité — Théorème d incomplétude de Gödel Les théorèmes d incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, démontrés par Kurt Gödel en 1931 dans son article Über formal unentscheidbare Sätze der Principia Mathematica und… … Wikipédia en Français
Theoreme d'incompletude de Godel — Théorème d incomplétude de Gödel Les théorèmes d incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, démontrés par Kurt Gödel en 1931 dans son article Über formal unentscheidbare Sätze der Principia Mathematica und… … Wikipédia en Français
Théorème d'incomplétude — de Gödel Les théorèmes d incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, démontrés par Kurt Gödel en 1931 dans son article Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme (Sur les… … Wikipédia en Français
Théorème d'incomplétude de Godel — Théorème d incomplétude de Gödel Les théorèmes d incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, démontrés par Kurt Gödel en 1931 dans son article Über formal unentscheidbare Sätze der Principia Mathematica und… … Wikipédia en Français
Théorème d'incomplétude de Gödel — Les théorèmes d incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, démontrés par Kurt Gödel en 1931 dans son article Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme (Sur les propositions … Wikipédia en Français
